<html>
<head><meta charset="utf-8"><title>has-pr label · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/has-pr.20label.html">has-pr label</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="199552436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/has-pr%20label/near/199552436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/has-pr.20label.html#199552436">(Jun 02 2020 at 20:57)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> opening this to continue the discussion about has-pr label, I ended not being sure if we really want it or not</p>



<a name="199552550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/has-pr%20label/near/199552550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/has-pr.20label.html#199552550">(Jun 02 2020 at 20:58)</a>:</h4>
<p>for me it's just fine and less error prone to check on top of the issue that already mentions if it has a pr or not but I guess you've raised this idea to tag because it may be better for you ...</p>



<a name="199558174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/has-pr%20label/near/199558174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/has-pr.20label.html#199558174">(Jun 02 2020 at 21:45)</a>:</h4>
<p>I suppose its more a question if the label would be useful in unified contexts like the list of open issues</p>



<a name="199558218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/has-pr%20label/near/199558218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/has-pr.20label.html#199558218">(Jun 02 2020 at 21:46)</a>:</h4>
<p>where you don't see the description</p>



<a name="199558281"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/has-pr%20label/near/199558281" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/has-pr.20label.html#199558281">(Jun 02 2020 at 21:47)</a>:</h4>
<p>like this page: <a href="https://github.com/rust-lang/rust/issues?q=is%3Aissue+is%3Aopen+-label%3AP-medium+-label%3AP-low+">all issues above P-med</a></p>



<a name="199558327"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/has-pr%20label/near/199558327" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/has-pr.20label.html#199558327">(Jun 02 2020 at 21:47)</a>:</h4>
<p>(that's sort of a silly example because it includes a <em>lot</em> of stuff that wouldn't get filtered out even if we added such a tag</p>



<a name="199558357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/has-pr%20label/near/199558357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/has-pr.20label.html#199558357">(Jun 02 2020 at 21:48)</a>:</h4>
<p>but anyway, its just a hypothetical. Maybe its not worth adding</p>



<a name="199615182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/has-pr%20label/near/199615182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/has-pr.20label.html#199615182">(Jun 03 2020 at 12:54)</a>:</h4>
<p>yeah I understand your idea</p>



<a name="199615220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/has-pr%20label/near/199615220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/has-pr.20label.html#199615220">(Jun 03 2020 at 12:54)</a>:</h4>
<p>so we also would want to add that kind of information to the automation script too</p>



<a name="199615239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/has-pr%20label/near/199615239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/has-pr.20label.html#199615239">(Jun 03 2020 at 12:54)</a>:</h4>
<p>right now is printing labels but it's not saying if there's an open pr or not</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>